#include<stdio.h>
#include<time.h>
 
char *currentTime (void)
{
  time_t t;
  time(&t);
  return ctime(&t);
} 
 
int main()
{
   printf("Hello World %s\n", currentTime());
   return 0;
}
